<html>
<head><meta charset="utf-8"><title>hi-everybody · t-compiler/wg-nll · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/index.html">t-compiler/wg-nll</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/hi-everybody.html">hi-everybody</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="129744227"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/hi-everybody/near/129744227" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/hi-everybody.html#129744227">(Jul 16 2018 at 11:31)</a>:</h4>
<p>I'm back from vacation today =) <span class="emoji emoji-1f44b" title="wave">:wave:</span></p>



<a name="129744372"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/hi-everybody/near/129744372" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/hi-everybody.html#129744372">(Jul 16 2018 at 11:34)</a>:</h4>
<p>welcome back :)</p>



<a name="129746515"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/hi-everybody/near/129746515" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/hi-everybody.html#129746515">(Jul 16 2018 at 12:26)</a>:</h4>
<p>how's Greece, Niko ? :D (if it's anything like here, I assume, extremely hot rn)</p>



<a name="129746543"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/hi-everybody/near/129746543" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/hi-everybody.html#129746543">(Jul 16 2018 at 12:27)</a>:</h4>
<p>actually it's pretty comfortable</p>



<a name="129746545"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/hi-everybody/near/129746545" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/hi-everybody.html#129746545">(Jul 16 2018 at 12:27)</a>:</h4>
<p>our house is right by the harbor</p>



<a name="129746589"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/hi-everybody/near/129746589" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/hi-everybody.html#129746589">(Jul 16 2018 at 12:28)</a>:</h4>
<p>and it was built in the "old style", so although it has no A/C, if there is a breeze it tends to stay pretty cool</p>



<a name="129746597"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/hi-everybody/near/129746597" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/hi-everybody.html#129746597">(Jul 16 2018 at 12:28)</a>:</h4>
<p>nice :)</p>



<a name="129746604"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/hi-everybody/near/129746604" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/hi-everybody.html#129746604">(Jul 16 2018 at 12:28)</a>:</h4>
<p>the last few nights have had crazy wind though -- almost too much. big waves. tore off our laundry lines :)</p>



<a name="129746609"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/hi-everybody/near/129746609" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/hi-everybody.html#129746609">(Jul 16 2018 at 12:29)</a>:</h4>
<p>oh wow</p>



<a name="129746693"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/hi-everybody/near/129746693" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/hi-everybody.html#129746693">(Jul 16 2018 at 12:30)</a>:</h4>
<p>if you know where to look, you can see our house in <a href="https://karpathosinfo.com/images/slider/pigadia-karpathos-town-slider.jpg" target="_blank" title="https://karpathosinfo.com/images/slider/pigadia-karpathos-town-slider.jpg">this image</a> :)</p>
<div class="message_inline_image"><a href="https://karpathosinfo.com/images/slider/pigadia-karpathos-town-slider.jpg" target="_blank" title="this image"><img src="https://karpathosinfo.com/images/slider/pigadia-karpathos-town-slider.jpg"></a></div>



<a name="129746729"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/hi-everybody/near/129746729" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/hi-everybody.html#129746729">(Jul 16 2018 at 12:31)</a>:</h4>
<p>it's beautifullllll</p>



<a name="129746730"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/hi-everybody/near/129746730" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/hi-everybody.html#129746730">(Jul 16 2018 at 12:31)</a>:</h4>
<p>nice</p>



<a name="129746803"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/hi-everybody/near/129746803" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/hi-everybody.html#129746803">(Jul 16 2018 at 12:32)</a>:</h4>
<p>remembering people traveling to Santorini and such, I'm assuming getting there must have taken a while ? :)</p>



<a name="129746904"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/hi-everybody/near/129746904" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/hi-everybody.html#129746904">(Jul 16 2018 at 12:35)</a>:</h4>
<p>yeah, it takes a while, particularly from Boston. It's not a very big island so you have to fly via Athens</p>



<a name="129747090"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/hi-everybody/near/129747090" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/hi-everybody.html#129747090">(Jul 16 2018 at 12:39)</a>:</h4>
<p>the kind of amazing thing is how you can buy for 20 euros a 4G card and have full internet access, even from a small island like this. Many of the elderly here remember a time before there were cars and electricity here.</p>



<a name="129747100"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/hi-everybody/near/129747100" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/hi-everybody.html#129747100">(Jul 16 2018 at 12:39)</a>:</h4>
<p>we live in an amazing time...</p>



<a name="129747447"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/hi-everybody/near/129747447" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/hi-everybody.html#129747447">(Jul 16 2018 at 12:46)</a>:</h4>
<p>awesome :)</p>



<a name="129748050"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/hi-everybody/near/129748050" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/hi-everybody.html#129748050">(Jul 16 2018 at 12:58)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> btw it took the whole weekend but I’ve implemented <em>some</em> CFG compression in Polonius, that’s a -75% improvement for naive, -55% for leapfrog.</p>



<a name="129748059"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/hi-everybody/near/129748059" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/hi-everybody.html#129748059">(Jul 16 2018 at 12:59)</a>:</h4>
<p>nice!</p>



<a name="129748084"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/hi-everybody/near/129748084" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/hi-everybody.html#129748084">(Jul 16 2018 at 12:59)</a>:</h4>
<p>for when we eventually get back to it :)</p>



<a name="129748138"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/hi-everybody/near/129748138" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/hi-everybody.html#129748138">(Jul 16 2018 at 13:00)</a>:</h4>
<p>I long for the day :)</p>



<a name="129748171"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/hi-everybody/near/129748171" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/hi-everybody.html#129748171">(Jul 16 2018 at 13:01)</a>:</h4>
<p>(unfortunately even with this <code>naive</code> is still too slow compared to the other fast-but-buggy variants; if I had managed a x10 then maybe, but 4x is still not enough)</p>



<a name="129751730"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/hi-everybody/near/129751730" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/hi-everybody.html#129751730">(Jul 16 2018 at 14:09)</a>:</h4>
<p>Hi Dr. Niko! </p>
<p><a href="https://www.youtube.com/watch?v=mGYpsNpg1bw" target="_blank" title="https://www.youtube.com/watch?v=mGYpsNpg1bw">https://www.youtube.com/watch?v=mGYpsNpg1bw</a></p>
<div class="youtube-video message_inline_image"><a data-id="mGYpsNpg1bw" href="https://www.youtube.com/watch?v=mGYpsNpg1bw" target="_blank" title="https://www.youtube.com/watch?v=mGYpsNpg1bw"><img src="https://i.ytimg.com/vi/mGYpsNpg1bw/default.jpg"></a></div>



<a name="130126115"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/hi-everybody/near/130126115" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/hi-everybody.html#130126115">(Jul 23 2018 at 03:23)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> I don't know how much I'll be around today. Probably some but not until later. I wound up working some over the weekend instead. I've been pushing on <a href="https://github.com/rust-lang/rust/issues/52488" target="_blank" title="https://github.com/rust-lang/rust/issues/52488">#52488</a>. I've now rebased it more-or-less onto master, which was a bit tricky due to njn's changes. One challenge is that I'm trying to come up with a good way to really test the code, which is hard, since the main typeck tends to produce errors</p>



<a name="130138892"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/hi-everybody/near/130138892" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/hi-everybody.html#130138892">(Jul 23 2018 at 09:39)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span>  okay that's no problem; enjoy the greek beaches!</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>